Section: Dissemination
Teaching - Supervision - Juries
Teaching
Below are the teaching activities of the Focus members during 2013.
-
-
Undergraduate: “Introduction to programming in Python”, 58 hours, 1st year, University of Bologna, Italy.
-
Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.
-
Master: “Basic Complexity”, 12 hours, 1st year and 2nd year, University of Bologna, Italy.
-
PhD: “Principles of Computer Science: Computing, Machines, and Programming Languages” Joint International Doctoral (Ph.D.) Degree in Law, Science and Technology, University of Torino, Italy.
-
-
-
Undergraduate: “Introduction aux structures de données linéaires”, 6h hours, 1st year, Institut Galilé, Université Paris 13, France
-
Master: “Administration Système”, 15 hours, 2nd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France
-
Master: “Intranet, Internet et Web”, 44 hours, 2nd year, école d'ingénieurs, Institut Galilé, Université Paris 13, France
-
Supervision
Phd thesis completed in 2013:
-
Paolo Parisen Toldin, Implicit computational complexity and probabilistic classes, Dottorato di Ricerca in Informatica, University of Bologna, April 2013 Supervisors: S. Martini
Below are the details on the PhD students in Focus: starting date, topic or provisional title of the thesis, supervisor(s). These are all PhDs in progress.
-
Michele Alberti, July 2011; Separation results in the algebraic lambda-calculus; L. Regnier (Marseille) and S. Martini
-
Roberto Amadini, January 2012, Constraint Programming, M. Gabbrielli.
-
Ferdinanda Camporesi, january 2009, Analysis of system biology, R. Cousot (Ecole Normale, Paris) and M. Gabbrielli
-
Alberto Cappai, January 2013; Security, ICC and probabilistic bisimulation, U. Dal Lago.
-
Ornela Dardha, january 2011, Type Systems for Distributed Programs: Components and Sessions, D. Sangiorgi.
-
Saverio Giallorenzo, January 2013, Adaptation and choreography languages, M. Gabbrielli.
-
Tudor Alexandru Lascu, January 2011, Automatic planning of the deployment of cloud-based applications, G. Zavattaro
-
Jean-Marie Madiot, september 2011, Types, proofs and proof techniques for process calculi, D. Hirschkoff and D. Sangiorgi.
-
Giulio Pellitta, January 2011, Extending Implicit Computational Complexity and Abstract Machines to Languages with Control, S. Martini.
-
Alessandro Rioli, January 2012; Bisimulation equivalence in quantum lambda calculi, U. Dal Lago.
-
Marco Solieri, December 20111; Géometrie de l'interaction, réseaux, et lambda-calcul, S. Guerrini (Paris Nord) and S. Martini.
The following PhD student is supervised by a member of Focus, but currently not in the Focus team:
Juries
U. Dal Lago has been rapporteur and member of the PhD evaluation committee for Clement Aubert, Paris 13, Stephane Zimmermann, Paris 7, and Martin Avanzini, University of Innsbruck.
S. Martini has been rapporteur and member of the evaluation committee of the “Habilitation a Diriger des Recherche” (HDR) of Michele Pagani, Paris 13, December 2013.
G. Zavattaro has been rapporteur and member of the PhD evaluation committee for Huu Nghia Nguyen (supervisors Prof. Pascal Poizat and Fatiha Zaidi), Universite' Paris Sud, Paris, France; and he has been member of the Ph.D. evaluation committee of Luca Panziera (supervisor Prof. Flavio De Paoli), universita' Milano Bicocca, Milano, Italy.